foundational types_